Skip to content

Conversation

@jycor
Copy link
Contributor

@jycor jycor commented Oct 23, 2024

These aren't used anywhere, so it's getting removed.
Partition still exists if we ever want to reimplement some version of this.

Copy link
Contributor

@max-hoffman max-hoffman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@jycor jycor merged commit 9322ec4 into main Oct 23, 2024
8 checks passed
@jycor jycor deleted the james/exchange branch October 23, 2024 22:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants